function toggle(id) {
	el = document.getElementById(id);
	if (!el) 
		return;
	if (el.className == 'hide') 
		el.className = 'visible';
	else
		el.className = 'hide';
}

function show(id) {
	el = document.getElementById(id);
	if (!el) 
		return;
	el.className = 'show';
}

function hide(id) {
	el = document.getElementById(id);
	if (!el) 
		return;
	el.className = 'hide';
}

